Denis Diderot - PDFSEARCH.IO - Document Search Engine

Denis Diderot
Results: 132

#	Item
71	Quasi-Weak Cost Functions A New Variant of Weakness Achim Blumensath1 Thomas Colcombet2 Denis Kuperberg3 Christof L¨oding4 Pawel Parys3 Michael Vanden Boom5 1 TU Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-04-30 05:09:51 Formal languages Computer science Nondeterministic finite automaton Finite-state machine Regular language Ω-automaton Automata theory Models of computation Theoretical computer science
72	Deciding the weak definability of Büchi definable tree languages∗ Thomas Colcombet1 , Denis Kuperberg2 , Christof Löding3 , and Michael Vanden Boom4 1,2 CNRS and LIAFA, Université Paris Diderot Paris, France Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-07-10 12:10:51 Ω-automaton Büchi automaton Tree automaton Star height Alternating finite automaton Muller automaton Automata theory Theoretical computer science Computer science
73	Comment ompter ave LTL Denis Kuperberg Liafa/CNRS/Université Paris 7, Denis Diderot, Fran e Réunion FREC - 10 mai 2011 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50
74	Good-for-Games Automata versus Deterministic Automata. Denis Kuperberg1,2 1 University Michal Skrzypczak1 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2015-02-12 04:24:43 Science Philosophy of science Automata theory Finite-state machine Determinism
75	On Determinisation of History-Deterministic Automata. Denis Kuperberg Michal Skrzypczak Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-07-07 08:10:22 Computer science Finite-state machine Büchi automaton Deterministic pushdown automaton Automata theory Models of computation Theoretical computer science
76	Description of the thesis: Study of classes of regular cost functions. Denis Kuperberg 1 Brief Description The goal of the thesis was to study the recent theory of regular cost functions. Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-04-14 07:49:08 Semigroup theory Theoretical computer science Category theory Applied mathematics Semiautomaton Monoid Regular language Syntactic monoid Linear temporal logic Formal languages Automata theory Mathematics
77	Regular Sensing Shaull Almagor1 , Denis Kuperberg2 , Orna Kupferman1 1 Hebrew University of Jerusalem Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-09-05 08:28:57 Deterministic automaton Finite-state machine Ω-automaton Automata theory Theoretical computer science Computer science
78	SVEC SVEC books on DIDEROT and on the Encyclopédie From Encyclopédie to Encyclopédie méthodique: revision and expansion Kathleen Hardesty Doig SVEC 2013:11, ISBN9, xiv.314 pp., 6 ills. Diderot and Ro Add to Reading List Source URL: www.voltaire.ox.ac.uk Language: English - Date: 2013-11-29 07:51:13 Early Modern period Encyclopédie Denis Diderot Encyclopédistes Voltaire Švec Age of Enlightenment French literature Philosophy
79	Formal Neighbourhoods, Combinatory B¨ohm Trees, and Untyped Normalization by Evaluation Peter Dybjer∗and Denis Kuperberg† February 29, 2008 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:51 Computer science Normalisation by evaluation Combinatory logic Fixed-point combinator Simply typed lambda calculus Denotational semantics Free variables and bound variables Functional programming Standard ML Theoretical computer science Lambda calculus Mathematics
80	REVIEW: SIGNS OF LIFE, MELBOURNE INTERNATIONAL BIENNIAL 1999 "An ordered conglomeration of signs (sometimes taken for wonders), galleries function as frames that contextualise, construct and reconstruct particular meanin Add to Reading List Source URL: martinacopley.com Language: English - Date: 2012-05-25 01:55:13 Gaston Bachelard Art Denis Diderot Representation Culture French literature Aesthetics Philosophy Epistemologists

UPDATE